symbolic differentiation

符号微分法